discrete Abelian group

离散阿贝尔群